" Charles Carroll Morgan" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)

Martin Leucker, Charles Carroll Morgan

Категория: Компьютеры

4.34 Mb

#2

Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)

Annabelle McIver, Charles Carroll Morgan

2.46 Mb

#3

Abstraction, Refinement and Proof for Probabilistic Systems

Annabelle McIver, Charles Carroll Morgan

2.52 Mb